- 2 402 202 книги
- Поиск
Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Автор: Hartmut Ehrig, Автор: Arend Rensink, Автор: Grzegorz Rozenberg, Автор: Andy SchurrКатегория: Компьютеры
Размер книги: 6.77 Mb
Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)
Автор: Hartmut Ehrig, Автор: Horst Herrlich, Автор: Hans-Jörg Kreowski, Автор: Gerhard PreußКатегория: Математика, Геометрия и топология
Размер книги: 19.73 Mb
Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Автор: Hans-Jörg Kreowski, Автор: Ugo Montanari, Автор: Fernando Orejas, Автор: Grzegorz Rozenberg, Автор: Gabriele Taentzer
Размер книги: 5.14 Mb
Fundamentals of algebraic graph transformation
Автор: Hartmut Ehrig, Автор: Karsten Ehrig, Автор: Ulrike Prange, Автор: Gabriele TaentzerКатегория: Computer science, Algorithms
Размер книги: 3.12 Mb
Fundamentals of algebraic graph transformation
Автор: Hartmut Ehrig, Автор: Karsten Ehrig, Автор: Ulrike Prange, Автор: Gabriele Taentzer
Размер книги: 3.12 Mb
Unifying Petri Nets
Автор: Hartmut Ehrig, Автор: Gabriel Juhas, Автор: Julia Padberg, Автор: Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.92 Mb
Mathematical Foundations of Software Development
Автор: Hartmut Ehrig, Автор: Christiane Floyd, Автор: Maurice Nivat, Автор: James ThatcherКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.67 Mb
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development
Автор: Hartmut Ehrig, Автор: Robert Kowalski, Автор: Giorgio Levi, Автор: Ugo MontanariКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 16.10 Mb
Categorial Methods in Computer Science.. With Aspects from Topology 1988
Автор: Hartmut Ehrig, Автор: Horst Herrlich, Автор: Hans-Jörg Kreowski, Автор: Gerhard PreußКатегория: CsLn_
Размер книги: 3.16 Mb
Graph Transformations, 2 conf., ICGT 2004
Автор: Hartmut Ehrig, Автор: Gregor Engels, Автор: Francesco Parisi-Presicce, Автор: Grzegorz RozenbergКатегория: CsLn_
Размер книги: 13.92 Mb
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG). Final Report (Lecture Notes in Computer Science)
Автор: Hartmut Ehrig, Автор: Werner Damm, Автор: Jörg Desel, Автор: Martin Große-Rhode, Автор: Wolfgang Reif, Автор: Eckehard Schnieder, Автор: Engelbert WestkämperКатегория: Computing & information technology
Размер книги: 6.64 Mb
Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers: ... Papers
Автор: Janice Cuny, Автор: Hartmut Ehrig, Автор: Gregor Engels, Автор: Grzegorz Rozenberg
Размер книги: 5.85 Mb
Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings
Автор: Hans J. Schneider, Автор: Hartmut Ehrig
Размер книги: 4.46 Mb
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... Papers
Автор: Hartmut Ehrig, Автор: Fernando Orejas
Размер книги: 3.84 Mb
Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
Автор: Hartmut Ehrig, Автор: Gregor Engels, Автор: Hans-Jörg Kreowski, Автор: Grzegorz Rozenberg
Размер книги: 5.77 Mb
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg
Автор: Wilfried Brauer, Автор: Hartmut Ehrig, Автор: Juhani Karhumäki, Автор: Arto K. Salomaa
Размер книги: 5.29 Mb
Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Автор: Andrea Corradini, Автор: Hartmut Ehrig, Автор: Hans-Jörg Kreowski, Автор: Grzegorz Rozenberg
Размер книги: 6.40 Mb
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
Автор: Hartmut Ehrig, Автор: Wolfgang Reisig, Автор: Grzegorz Rozenberg, Автор: Herbert Weber
Размер книги: 4.95 Mb
Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Автор: Andrea Corradini, Автор: Hartmut Ehrig, Автор: Ugo Montanari, Автор: Leila Ribeiro, Автор: Grzegorz Rozenberg
Размер книги: 8.12 Mb